501. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
502. Semantics of programming languages
پدیدآورنده : Tennent, R.D.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
T473
1991
503. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
پدیدآورنده : Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
58
.
E26
1990
504. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
پدیدآورنده : I. Guessarian )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
469
505. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
506. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
507. Semantics with applications
پدیدآورنده : / Hanne Riis Nielson and Flemming Nielson
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
N543
,
2007
508. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
509. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
510. Software Engineering; an Advancd Course
پدیدآورنده : edited by F. L. Bauer
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
A33
1972a
511. Software System Design Methods :
پدیدآورنده : edited by Jozef K. Skwirzynski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
512. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
پدیدآورنده : SLE 8002)8002 :Toulouse, France(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
513. Software language engineering : third international conference, SLE 2010, the Netherlands, October 12-13, 2010 : revised selected papers
پدیدآورنده : Malloy, Brian
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Programming languages )Electronic computers(
رده :
QA76
.
7
.
S587
2010
514. Some assembly required :
پدیدآورنده : Timothy S. Margush
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Assembly languages (Electronic computers),Atmel AVR microcontroller-- Programming
رده :
TJ223
.
P76
M36
2012
515. Source Code Analytics With Roslyn and JavaScript Data Visualization /
پدیدآورنده : Sudipta Mukherjee ; foreword by Darius Blasband
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
رده :
QA76
.
754
.
M85
2016
516. Spiele effektiv programmieren
پدیدآورنده : Uwe Kettermann, Andreas Rohde.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
517. Static analysis :
پدیدآورنده : Antoine Miné, David Schmidt (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
518. Static analysis
پدیدآورنده : Jens Palsberg, Zhendong Su (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
519. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
520. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings
پدیدآورنده : Baudouin Le Charlier )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
864
